IApplyConfluence.agda:15,1-9
true != false of type Bool
when checking the definition of decideEq
